$\vdash$  $\forall$$P$:$\mathbb{P}$. SqStable($\neg$$P$)